Proof that the funny tensor product of categories is the only other symmetric closed monoidal structure on Cat besides the cartesian monoidal structure:
Proof that not only every sketchable category is accessible but that conversely every accessible category is sketchable:
On Michael Barr & Charles Wells‘s Toposes, Triples, and Theories:
Created on November 15, 2023 at 16:26:27. See the history of this page for a list of all contributions to it.